package org.libcsp.generic.api.type;

public final class Nothing extends Any{
}
